Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

SMT-AI: an Abstract Interpreter as Oracle for k-induction

Рік:
2010
Мова:
english
Файл:
PDF, 453 KB
english, 2010
15

Performances analysis of a Givens parametrized adaptive eigenspace algorithm

Рік:
1998
Мова:
english
Файл:
PDF, 577 KB
english, 1998
18

Bone gla: Protein in blood derived directly from human bone tissue

Рік:
1989
Мова:
english
Файл:
PDF, 186 KB
english, 1989
29

Bone Quality — The Material and Structural Basis of Bone Strength and Fragility

Рік:
2006
Мова:
english
Файл:
PDF, 618 KB
english, 2006
40

Diffusion Process in LixW3O9F(1≤x≤3)

Рік:
1990
Мова:
english
Файл:
PDF, 361 KB
english, 1990